Formal Verification of Safety Properties for Ownership Authentication Transfer Protocol

In ubiquitous computing devices, users tend to store some valuable information in their device. Even though the device can be borrowed by the other user temporarily, it is not safe for any user to borrow or lend the device as it may cause private data of the user to be public. To safeguard the user data and also to preserve user privacy we propose and model the technique of ownership authentication transfer. The user who is willing to sell the device has to transfer the ownership of the device under sale. Once the device is sold and the ownership has been transferred, the old owner will not be able to use that device at any cost. Either of the users will not be able to use the device if the process of ownership has not been carried out properly. This also takes care of the scenario when the device has been stolen or lost, avoiding the impersonation attack. The aim of this paper is to model basic process of proposed ownership authentication transfer protocol and check its safety properties by representing it using CSP and model checking approach. For model checking we have used a symbolic model checker tool called NuSMV. The safety properties of ownership transfer protocol has been modeled in terms of CTL specification and it is observed that the system satisfies all the protocol constraint and is safe to be deployed.Comment: 16 pages, 7 figures,Submitted to ADCOM 201

Spectrophotometric Study of Uranyl Complexes with 4-Methyl- & 4- Phenyl-daphnetins

330-33

Complexation Reaction of Dihydroxycoumarins: Studies on the Reaction of Ti(IV) with 7,8-Dihydroxy-4-methylcoumarin (4-Methyldaphnetin)

781-78

Seed Biopriming a Novel Tool for Production of Disease Free Fodder

Indian agriculture is characterized by intertwined practices of crop production and animal husbandry. Domesticated animals have been energy source for farm operations and protein source. Fodder crops vitally serve as main source of food for the livestock. Major limitations in production of fodder crops are poor distribution of resources due to their noncommercial status, non-availability of quality/certified seeds and various diseases

Wildfire Emissions and Their Interaction with Urban and Rural Pollution: Data and Simulations

In recent years NASA has conducted a series of airborne campaigns (e. g. SEAC4RS*, ARCTAS, INTEX-A/B) over North America using an instrumented DC-8 aircraft equipped to measure a very large number of gaseous and aerosol constituents including several unique tracers. In these campaigns wild fires were extensively sampled near source as well as downwind after aging. The data provided detailed information on the composition and chemistry of fire emissions under a variety of atmospheric conditions as well as their interactions with rural and urban air pollution. Major fires studied including the California Rim fire in 2013 (SEAC4RS), the 2008 California wildfires (ARCTAS), and the Alaskan fires downwind over eastern US (INTEX-A). Although some fire plumes contained virtually no O3 enhancement, others showed significant ozone formation. Over Los Angeles, the highest O3 mixing ratios were observed in fire influenced urban air masses. Attempts to simulate these interactions using state of the art models were only minimally successful and indicated several shortcomings in simulating fire emission influences on urban smog formation. A variety of secondary oxidation products (e. g. O3, PAN, HCHO) were substantially underestimated. We will discuss the data collected in fire influenced air masses and their potential air quality implications

Crystal growth and ambient and high pressure study of the reentrant superconductor Tm_2Fe_3Si_5

We report single crystal growth of the reentrant superconductor Tm_2Fe_3Si_5, and measurements of the anisotropic static magnetic susceptibility \chi(T) and isothermal magnetization M(H), ac susceptibility \chi_ac(T), electrical resistivity \rho(T) and heat capacity C(T) at ambient pressure and \chi_ac(T) at high pressure. The magnetic susceptibility along the c-axis \chi_c(T) shows a small maximum around 250 K and does not follow the Curie-Weiss behavior while the magnetic susceptibility along the a-axis \chi_a(T) follows a Curie-Weiss behavior between 130 K and 300 K with a Weiss temperature \theta and an effective magnetic moment \mu_eff which depend on the temperature range of the fit. The easy axis of magnetization is perpendicular to the c-axis and \chi_a/\chi_c = 3.2 at 1.8 K. The ambient pressure \chi_ac(T) and C(T) measurements confirm bulk antiferromagnetic ordering at T_N = 1.1 K. The sharp drop in \chi_ac below T_N is suggestive of the existence of a spin-gap. We observe superconductivity only under applied pressures P\geq 2 kbar. The temperature-pressure phase diagram showing the non-monotonic dependence of the superconducting transition temperature T_c on pressure P is presented.Comment: 7 pages, 8 figure